Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
221	Monads for functional programming Philip Wadler, University of Glasgow Department of Computing Science, University of Glasgow, G12 8QQ, Scotland Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-04-19 08:32:52 Functional programming Adjoint functors Control flow Models of computation Monad Eval Standard ML Pure function Futures and promises Software engineering Computing Declarative programming
222	Why Standard ML? A language particularly suited to compiler implementation. Add to Reading List Source URL: www.classes.cs.uchicago.edu Language: English - Date: 2004-01-09 16:57:18 Procedural programming languages Functional languages Functional programming Type theory Standard ML Data types ML Monad Pattern matching Software engineering Computing Computer programming
223	paper.dvi Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-06-09 03:40:06 Computability theory Functions and mappings Recursion Functional languages Functional programming FP Primitive recursive function Function Standard ML Software engineering Computer programming Computing
224	PDF Document Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Software engineering Procedural programming languages Logic in computer science Hoare logic Type theory Separation logic Standard ML Heap ALGOL 68 Programming language theory Theoretical computer science Program logic
225	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-25 19:44:13 Abstract data types Functional languages Functional programming Lazy evaluation Python Double-ended queue Standard ML Purely functional Amortized analysis Software engineering Computer programming Computing
226	PDF Document Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-04-23 19:16:41 Type theory Data types Procedural programming languages Functional languages Models of computation Type system Standard ML Lambda calculus ALGOL 68 Software engineering Programming language theory Computing
227	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-25 19:44:13 Abstract data types Functional languages Functional programming Lazy evaluation Python Double-ended queue Standard ML Purely functional Amortized analysis Software engineering Computer programming Computing
228	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-11-08 16:31:06 Procedural programming languages Functional languages Standard ML ML C Reference Software engineering Computing Computer programming
229	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 09:30:25 Computing Knowledge representation Tree Standard ML R-tree T-tree B-tree Tree traversal Tango tree Graph theory Binary trees Computer programming
230	PDF Document Add to Reading List Source URL: joeclark.org Language: English - Date: 2009-07-04 11:30:34 Standard ML Perl XS 9